$\forall$${\it es}$:ES, $P$, $Q$:(E$\rightarrow\mathbb{P}$), $f$:(\{$e$:E$\mid$ $P$($e$)\} $\rightarrow$E). $Q$ $\leftarrow$==$f$== $P$ $\Rightarrow$ ($f$ $\in$ \{$e$:E$\mid$ $P$($e$)\} $\rightarrow$\{$e$:E$\mid$ $Q$($e$)\} )